Generalized mutual exclusion constraints and monitors for colored Petri nets
نویسندگان
چکیده
A Generalized Mutual Exclusion Constraint (GMEC) is a linear constraint that limits the weighted sum of tokens in a subset of places of a place/transition net system. The corresponding controller takes the simple form of a monitor place that can be added to the net to obtain the closed-loop system. In this paper we extend this approach to the case of colored Petri nets, showing that a colored GMEC can express a set of linear constraints and can be enforced by a colored monitor place. We also develop a matrix representation of multisets that is useful for the design of the monitor place.
منابع مشابه
A deadlock prevention method for railway networks using monitors for colored Petri nets
The real-time traffic control of railway networks authorizes movements of the trains and imposes safety constraints. The paper deals with the real time traffic control focusing on deadlock prevention problem. Colored Petri nets are used to model the dynamics of the railway network system: places represent tracks and stations, tokens are trains. The prevention policy is expressed by a set of lin...
متن کاملOn the Choice of Suboptimal Monitors for Supervisory Control of Petri Nets∗
Recent results in the literature have provided an efficient control synthesis technique for the problem of enforcing generalized mutual exclusion constraints on place/transition nets. With this technique both the plant and the controller are described by Petri nets in order to have an useful linear algebrique model for control analysis and synthesis. The synthesis is not computation demanding s...
متن کاملRailway Network Modelling Using Petri Nets
This paper deals with the use of Petri nets in modelling railway network and designing appropriate control logic for it to avoid collision. Here, the whole railway network is presented as a combination of the elementary models – tracks, stations and points (switch) within the station including sensors and semaphores. We use generalized mutual exclusion constraints and constraints containing the...
متن کاملModelling of Railway Network Using Petri Nets
This paper deals with the use of Petri nets in modelling railway network and designing appropriate control logic for it to avoid collision. Here, the whole railway network is presented as a combination of the elementary models – tracks, stations and points (switch) within the station including sensors and semaphores. We use generalized mutual exclusion constraints and constraints containing the...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کامل